#include <stdio.h>
#include "add.h"
int main(void)
{
 int a = 10, b = 12;
 printf("int a + b IS:%d\n"
, add_int(a, b));
 return 0;
}
